607 update eo to 0.50.0 #617

deemp · 2024-12-06T12:39:15Z

Closes Update eo to 0.50.0 #607

Changes:

Implemented parsing and printing syntax sugar for EO 0.49.4

deemp · 2024-12-16T20:35:19Z

@yegor256, for some reason, the pipeline fails

https://github.com/objectionary/eo-phi-normalizer/actions/runs/12360133696/job/34494382837#step:12:288

Environment:

eolang version: 0.28.0

eo submodule version: 0.49.1

Commands:

cat org/eolang/bool-tests.eo

+package org.eolang
+tests

# No comments.
[] > compares-two-bools
  Q
  .org
  .eolang
  .true
  .eq > @
    Q
    .org
    .eolang
    .true:0

# No comments.
[] > compares-two-different-types
  Q
  .org
  .eolang
  .true
  .eq
    42:0
  .not > @

# No comments.
[] > compares-bool-to-bytes
  Q
  .org
  .eolang
  .true
  .eq
    01-:0
  .and > @
    Q
    .org
    .eolang
    .false
    .eq:0
      00-:0

# No comments.
[] > compares-bool-to-string
  Q
  .org
  .eolang
  .true
  .eq
    "\u0001":0
  .and > @
    Q
    .org
    .eolang
    .false
    .eq:0
      "\u0000":0

# No comments.
[] > compares-bool-to-bytes-reverse
  01-
  .as-bytes
  .eq
    Q
    .org
    .eolang
    .true:0
  .and > @
    00-
    .as-bytes
    .eq:0
      Q
      .org
      .eolang
      .false:0

eoc --parser 0.49.1 --home-tag 0.49.1 test

EO objects registered in .eoc/eo-foreign.json
EO program assembled in .eoc
[ERROR] In 61 XMIR files, we found 168 warnings
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.49.1:lint (default-cli) on project eoc: 'LintMojo' execution failed: java.lang.IllegalStateException: In 61 XMIR files, we found 168 warnings -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:lint -Deo.version=0.49.1 -Deo.tag=0.49.1 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/tmp/upgrade -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/tmp/upgrade/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/tmp/upgrade/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/tmp/upgrade/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/tmp/upgrade/.eoc/eo-placed.csv -Deo.placedFormat=csv -Deo.failOnWarning=true --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code

yegor256 · 2024-12-17T00:59:53Z

@deemp use --easy option for eoc

deemp · 2024-12-17T06:07:34Z

@fizruk, the pipeline fails because the syntax sugar as mentioned in #603 hasn't yet been implemented.

https://github.com/objectionary/eo-phi-normalizer/actions/runs/12367097278/job/34514834809?pr=617#step:12:514

UPD: I'm trying to implement this sugar.

deemp · 2024-12-17T13:34:31Z

@yegor256, should Φ̇.true.eq(Φ̇.true) be desugared as Φ.org.eolang.true.eq(α0 ↦ Φ.org.eolang.true)?

yegor256 · 2024-12-17T13:36:30Z

@deemp yes, exactly

deemp · 2024-12-17T20:14:47Z

I've implemented Work with desugared objects where appropriate #639

@fizruk, dataization of the celsius example produces bytes for some reason.

cat tmp/foo.phi

{⟦
    c ↦ Φ.org.eolang.number(
        as-bytes ↦ Φ̇.bytes(Δ ⤍ 40-39-00-00-00-00-00-00)
    ), // 25.0
    φ ↦ ξ.c.times(x ↦ ⟦ Δ ⤍ 3F-FC-CC-CC-CC-CC-CC-CD ⟧)  // 1.8
            .plus(x ↦ ⟦ Δ ⤍ 40-40-00-00-00-00-00-00 ⟧), // 32.0
⟧}

eo-phi-normalizer dataize --recursive -d eo-phi-normalizer/data/0.41.2/org/eolang/number.phi -d eo-phi-normalizer/data/0.41.2/org/eolang/bytes.phi tmp/foo.phi

40-53-40-00-00-00-00-00

deemp · 2024-12-19T19:58:11Z

@fizruk, @yegor256, I tried to implement the syntactic sugar for such expressions

⟦ number(as-bytes) ↦ ⟦ ... ⟧ ⟧

but then got shift-reduce conflicts.

I had the following definitions in the Syntax.cf.

Label.      Attribute ::= LabelId ;
...
AttrSugar.  Attribute ::= LabelId "(" [LabelId] ")";

I think when parser encounters number it doesn't know whether it should reduce it to an Attribute or shift and put ( on the parser stack.

@yegor256, can you temporarily support a special syntax for such sugar?

Example:

⟦ ~number(as-bytes) ↦ ⟦ ... ⟧ ⟧

Then, I can avoid conflicts by using:

AttrSugar.  Attribute ::= "~" LabelId "(" [LabelId] ")";

yegor256 · 2024-12-20T00:58:01Z

@deemp I'm not sure I understand what's the source of the shift-reduce conflict:

I think when parser encounters number it doesn't know whether it should reduce it to an Attribute or shift and put "(" on the parser stack.

This text is not clear for me. Can you elaborate a bit further?

yegor256 · 2024-12-20T06:12:39Z

@deemp BTW, this EBNF we use to parse phi expressions, maybe will help: https://camo.githubusercontent.com/77e1ebd2a73dbe1889a630de643778e76b81b406bf1bdae75be8f833ac67f791/68747470733a2f2f7777772e656f6c616e672e6f72672f65626e662f5068692e706e67

deemp · 2024-12-20T13:22:22Z

This text is not clear for me. Can you elaborate a bit further?

@yegor256, you use ANTLR which generates top-down (LL) parsers. We use BNFC which generates bottom-up (LR) parsers. We use BNFC for convenience.

A GLR parser could try multiple options.

Parse number from ⟦ number(as-bytes) ↦ ⟦ ... ⟧ ⟧ as a LabelId (reduce).
Parse number, then parse (as-bytes) from ⟦ number(as-bytes) ↦ ⟦ ... ⟧ ⟧ (shift), then combine them into AttrSugar.

However, currently, BNFC-generated parser (using the --glr flag) don't typecheck. Additionally, I got the following message when trying to build with this backend:

Warning: backend --glr is deprecated and no longer maintained.

Hence, we have to use a LR parser which can't try multiple options and thus gets a shift/reduce conflict.

@fizruk, please correct me if I'm wrong.

I see the following options:

(Simple) (Temporarily) Make the $\varphi$-calculus syntax unambiguous for a LR parser (see my suggestion about the syntax 607 update eo to 0.50.0 #617 (comment)) via preprocessing of programs on your or our side.
(Hard) Use happy and alex to generate parsers more flexibly and probably get a working GLR parser.
(Hard) Rewrite the parser using a parser combinator library.

- signed integers - signed doubles - literals inside applications - attributes

deemp · 2024-12-26T15:57:38Z

@fizruk, some dataization tests still fail. Please check.

https://github.com/objectionary/eo-phi-normalizer/actions/runs/12505740341/job/34889571481?pr=617#step:5:338

- support attribute sugar for phi - improve error reporting - remove some old code

fix(scripts): use the same tag for --parser and --home-tag

85e2f31

deemp linked an issue Dec 6, 2024 that may be closed by this pull request

Update eo to 0.50.0 #607

Open

2 tasks

deemp changed the base branch from master to develop December 16, 2024 19:25

deemp and others added 4 commits December 16, 2024 22:25

Merge branch 'develop' into 607-update-eo-to-0460

12f0ce4

chore(eo): switch from 0.41.2 to 0.49.1

210ab86

Update pipeline/pipeline.lock

f942083

Update eo-phi-normalizer data files

cb7f1bc

deemp changed the title ~~607 update eo to 0.46.0~~ 607 update eo to 0.49.1 Dec 16, 2024

chore(node): update eolang to 0.28.0

0e0edf7

fix(scripts): ignore warnings

a34269f

feat(eo-phi-normalizer): support "Φ̇ " instead of "Φ.org.eolang"

b953999

deemp added 6 commits December 19, 2024 17:55

fix(eo-phi-normalizer): remove yegor.yaml and use new.yaml

13ee05c

feat(eo-phi-normalizer): add TODOs

6026f59

fix(eo-phi-nomralizer): embedding the file with rules

2f7336d

fix(eo-phi-normalizer): remove old rules file from .cabal

59e1cda

fix(dartaization): use dependencies for EO 0.49.1

8ecfd28

feat(gitignore): ignore tmp

fe71b93

fix(eo-phi-normalizer): extend syntax with sugar

4bddea9

- signed integers - signed doubles - literals inside applications - attributes

deemp force-pushed the 607-update-eo-to-0460 branch 2 times, most recently from 54b2c89 to 6538210 Compare December 23, 2024 21:30

deemp added 5 commits December 26, 2024 16:38

fix(eo-phi-normalizer): pretty-printing tests

f392e55

fix(scripts): ci message

9ebf99f

refactor(eo-phi-normalizer): format test inputs

50f4133

chore(eo-phi-normalizer): update depdency versions 0.49.1 -> 0.49.4

f9bb19b

feat(eo-phi-normalizer): add data files for EO 0.49.4 to .cabal

93bf014

deemp force-pushed the 607-update-eo-to-0460 branch from 574cbd7 to 93bf014 Compare December 26, 2024 15:49

fix(eo-phi-normalizer): bytes application

828e4a2

deemp force-pushed the 607-update-eo-to-0460 branch 2 times, most recently from f79254d to 4592325 Compare December 27, 2024 09:55

fix(eo-phi-normalizer): use yegor's old rules by default

094838f

deemp force-pushed the 607-update-eo-to-0460 branch from 4592325 to 094838f Compare December 27, 2024 09:56

deemp added 2 commits December 27, 2024 13:18

fix(eo-phi-normalizer): run dataization tests under the common title

49756fb

feat(eo-phi-normalizer): support custom strings

e9c22c3

deemp force-pushed the 607-update-eo-to-0460 branch from 7ecda29 to e9c22c3 Compare December 27, 2024 14:49

chore(eo): bump 0.49.4 -> 0.50.0

48692da

deemp force-pushed the 607-update-eo-to-0460 branch from 70db1ee to 48692da Compare December 27, 2024 15:15

deemp and others added 6 commits December 27, 2024 18:17

fix(node): bump eolang 0.28.0 -> 0.28.1

983b730

chore(ci): Update pipeline/pipeline.lock

5625ec1

chore(ci): Update eo-phi-normalizer data files

89b1ea4

feat(eo-phi-normalizer):

b3f40e0

- support attribute sugar for phi - improve error reporting - remove some old code

fix(pipeline): disable some too slow tests

17ff682

fix(pipeline): disable some failing tests

0e5788b

deemp force-pushed the 607-update-eo-to-0460 branch from 6f88439 to 0e5788b Compare December 27, 2024 16:29

github-actions bot added 3 commits December 27, 2024 16:35

chore(ci): Update pipeline/pipeline.lock

4dc584c

chore(ci): Update eo-phi-normalizer data files

83b4acf

chore(ci): Update Markdown files

1ac19e9

deemp merged commit 18a461c into develop Dec 27, 2024

deemp changed the title ~~607 update eo to 0.49.4~~ 607 update eo to 0.50.0 Dec 27, 2024

deemp mentioned this pull request Dec 28, 2024

Prepare release of v3.0.0 #643

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

607 update eo to 0.50.0 #617

607 update eo to 0.50.0 #617

deemp commented Dec 6, 2024 •

edited

Loading

deemp commented Dec 16, 2024 •

edited

Loading

yegor256 commented Dec 17, 2024

deemp commented Dec 17, 2024 •

edited

Loading

deemp commented Dec 17, 2024

yegor256 commented Dec 17, 2024

deemp commented Dec 17, 2024 •

edited

Loading

deemp commented Dec 19, 2024 •

edited

Loading

yegor256 commented Dec 20, 2024

yegor256 commented Dec 20, 2024

deemp commented Dec 20, 2024 •

edited

Loading

deemp commented Dec 26, 2024

607 update eo to 0.50.0 #617

607 update eo to 0.50.0 #617

Conversation

deemp commented Dec 6, 2024 • edited Loading

deemp commented Dec 16, 2024 • edited Loading

yegor256 commented Dec 17, 2024

deemp commented Dec 17, 2024 • edited Loading

deemp commented Dec 17, 2024

yegor256 commented Dec 17, 2024

deemp commented Dec 17, 2024 • edited Loading

deemp commented Dec 19, 2024 • edited Loading

yegor256 commented Dec 20, 2024

yegor256 commented Dec 20, 2024

deemp commented Dec 20, 2024 • edited Loading

deemp commented Dec 26, 2024

deemp commented Dec 6, 2024 •

edited

Loading

deemp commented Dec 16, 2024 •

edited

Loading

deemp commented Dec 17, 2024 •

edited

Loading

deemp commented Dec 17, 2024 •

edited

Loading

deemp commented Dec 19, 2024 •

edited

Loading

deemp commented Dec 20, 2024 •

edited

Loading